prove the open ball is open